[prev] [prev-tail] [tail] [up]

Integrals 101 to 171

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 266 6055 0 0 0 0 106783

N.S.

1 1.00 0.98 22.34 0.00 0.00 0.00 0.00 394.03

time (sec)

N/A 2.044 2.661 0.151 0.000 0.000 0.000 0.000 55.548

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

372 372 2738 9865 0 0 0 0 0

N.S.

1 1.00 7.36 26.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.666 6.611 0.167 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

532 532 7678 14441 0 0 0 0 0

N.S.

1 1.00 14.43 27.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.126 7.176 0.158 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

503 503 564 11280 0 91140 0 0 0

N.S.

1 1.00 1.12 22.43 0.00 181.19 0.00 0.00 0.00

time (sec)

N/A 2.588 6.575 0.436 0.000 169.464 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 351 324 7294 0 48734 0 0 0

N.S.

1 0.99 0.92 20.66 0.00 138.06 0.00 0.00 0.00

time (sec)

N/A 1.294 5.511 0.209 0.000 37.570 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 262 3562 0 10840 0 0 5863

N.S.

1 1.00 1.14 15.55 0.00 47.34 0.00 0.00 25.60

time (sec)

N/A 0.664 2.204 0.150 0.000 1.984 0.000 0.000 114.330

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 336 322 8698 0 0 0 0 0

N.S.

1 1.00 0.96 25.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.132 5.756 0.185 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

473 473 6112 14119 0 0 0 0 0

N.S.

1 1.00 12.92 29.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.362 7.015 0.196 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

643 643 17248 20663 0 0 0 0 0

N.S.

1 1.00 26.82 32.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.357 7.951 0.298 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

407 407 1200 5978 0 37247 0 0 28858

N.S.

1 1.00 2.95 14.69 0.00 91.52 0.00 0.00 70.90

time (sec)

N/A 1.908 6.508 0.308 0.000 11.353 0.000 0.000 112.142

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 414 5513 0 25627 0 0 21254

N.S.

1 1.00 1.44 19.21 0.00 89.29 0.00 0.00 74.06

time (sec)

N/A 1.050 6.361 0.155 0.000 4.807 0.000 0.000 43.418

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 192 3853 0 13473 0 0 16400

N.S.

1 1.00 0.99 19.86 0.00 69.45 0.00 0.00 84.54

time (sec)

N/A 0.544 1.630 0.142 0.000 1.749 0.000 0.000 21.650

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 129 3463 0 3194 0 0 4326

N.S.

1 1.00 0.97 26.04 0.00 24.02 0.00 0.00 32.53

time (sec)

N/A 0.238 0.238 0.115 0.000 0.385 0.000 0.000 12.950

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 194 13474 0 0 0 0 25341

N.S.

1 1.00 0.92 64.16 0.00 0.00 0.00 0.00 120.67

time (sec)

N/A 0.674 0.454 0.136 0.000 0.000 0.000 0.000 65.482

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 327 521 20870 0 0 0 0 225004

N.S.

1 1.00 1.59 63.82 0.00 0.00 0.00 0.00 688.09

time (sec)

N/A 1.492 6.259 0.165 0.000 0.000 0.000 0.000 57.472

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

511 511 920 11255 0 0 0 0 0

N.S.

1 1.00 1.80 22.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.375 6.880 0.441 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 343 476 9399 0 0 0 0 54886

N.S.

1 1.00 1.39 27.40 0.00 0.00 0.00 0.00 160.02

time (sec)

N/A 1.516 6.568 0.216 0.000 0.000 0.000 0.000 63.779

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 290 7396 0 31879 0 0 40542

N.S.

1 1.00 1.44 36.80 0.00 158.60 0.00 0.00 201.70

time (sec)

N/A 0.642 2.782 0.160 0.000 61.209 0.000 0.000 38.597

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 218 5613 0 7982 0 0 8588

N.S.

1 1.00 1.39 35.75 0.00 50.84 0.00 0.00 54.70

time (sec)

N/A 0.332 1.107 0.127 0.000 1.834 0.000 0.000 18.185

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 296 26343 0 0 0 0 0

N.S.

1 1.00 1.13 100.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.413 5.350 0.153 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

447 446 2078 40619 0 0 0 0 0

N.S.

1 1.00 4.65 90.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.128 6.428 0.240 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

585 585 670 13586 0 0 0 0 0

N.S.

1 1.00 1.15 23.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.363 6.930 0.481 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

358 358 502 11360 0 0 0 0 88684

N.S.

1 1.00 1.40 31.73 0.00 0.00 0.00 0.00 247.72

time (sec)

N/A 1.945 6.634 0.215 0.000 0.000 0.000 0.000 109.692

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 271 300 8963 0 50755 0 0 64641

N.S.

1 0.99 1.10 32.83 0.00 185.92 0.00 0.00 236.78

time (sec)

N/A 1.140 3.162 0.248 0.000 297.231 0.000 0.000 85.534

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 223 6788 0 13143 0 0 14163

N.S.

1 1.00 1.07 32.48 0.00 62.89 0.00 0.00 67.77

time (sec)

N/A 0.540 0.984 0.180 0.000 7.154 0.000 0.000 35.921

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

365 365 1948 45119 0 0 0 0 0

N.S.

1 1.00 5.34 123.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.745 6.395 0.231 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

679 678 6052 67570 0 0 0 0 0

N.S.

1 1.00 8.91 99.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.828 6.841 0.346 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

679 679 1202 0 0 0 0 0 0

N.S.

1 1.00 1.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 11.766 10.255 0.000 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

505 505 835 0 0 0 0 0 0

N.S.

1 1.00 1.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 8.625 9.103 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 383 619 0 0 68078 0 0 0

N.S.

1 1.01 1.62 0.00 0.00 178.68 0.00 0.00 0.00

time (sec)

N/A 5.525 7.944 0.000 0.000 161.870 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

287 287 441 0 0 78051 0 0 0

N.S.

1 1.00 1.54 0.00 0.00 271.95 0.00 0.00 0.00

time (sec)

N/A 3.146 4.705 0.000 0.000 105.636 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

300 300 412 0 0 139535 0 0 0

N.S.

1 1.00 1.37 0.00 0.00 465.12 0.00 0.00 0.00

time (sec)

N/A 4.505 5.862 0.000 0.000 198.892 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

370 370 600 0 0 0 0 0 0

N.S.

1 1.00 1.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.259 7.097 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

597 597 1109 0 0 0 0 0 0

N.S.

1 1.00 1.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.041 7.514 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

682 682 1304 0 0 0 0 0 0

N.S.

1 1.00 1.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 14.554 9.563 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

508 508 867 0 0 0 0 0 0

N.S.

1 1.00 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 8.477 9.231 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

384 384 613 0 0 115434 0 0 0

N.S.

1 1.00 1.60 0.00 0.00 300.61 0.00 0.00 0.00

time (sec)

N/A 5.014 7.860 0.000 0.000 196.391 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

382 382 1664 0 0 206814 0 0 0

N.S.

1 1.00 4.36 0.00 0.00 541.40 0.00 0.00 0.00

time (sec)

N/A 6.640 7.328 0.000 0.000 289.269 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

402 402 519 0 0 0 0 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 8.309 6.761 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

586 586 3134 0 0 0 0 0 0

N.S.

1 1.00 5.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.268 9.499 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

697 697 1261 0 0 0 0 0 0

N.S.

1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 12.026 9.878 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

505 505 780 0 0 0 0 0 0

N.S.

1 1.00 1.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.130 9.038 180.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

535 535 1774 0 0 0 0 0 0

N.S.

1 1.00 3.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 9.886 8.664 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

545 545 802 0 0 0 0 0 0

N.S.

1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 12.755 7.632 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

590 590 641 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 14.547 7.142 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-2) F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

946 946 10121 0 0 0 0 0 0

N.S.

1 1.00 10.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.159 56.131 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

505 505 785 0 0 0 0 0 0

N.S.

1 1.00 1.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 6.881 8.844 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

383 383 607 0 0 115594 0 0 0

N.S.

1 1.00 1.58 0.00 0.00 301.81 0.00 0.00 0.00

time (sec)

N/A 4.833 7.764 0.000 0.000 271.990 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

290 290 456 0 0 77916 0 0 0

N.S.

1 1.00 1.57 0.00 0.00 268.68 0.00 0.00 0.00

time (sec)

N/A 3.137 7.042 0.000 0.000 129.202 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

239 239 362 0 0 96324 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 403.03 0.00 0.00 0.00

time (sec)

N/A 1.756 2.418 0.000 0.000 141.315 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

251 251 264 0 0 83974 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 334.56 0.00 0.00 0.00

time (sec)

N/A 1.145 2.868 0.000 0.000 274.810 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

375 375 388 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.077 6.664 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

528 528 2245 0 0 0 0 0 0

N.S.

1 1.00 4.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 9.810 9.615 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

380 380 2141 0 0 0 0 0 0

N.S.

1 1.00 5.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 6.507 7.679 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

299 299 403 0 0 139175 0 0 0

N.S.

1 1.00 1.35 0.00 0.00 465.47 0.00 0.00 0.00

time (sec)

N/A 3.841 6.112 0.000 0.000 246.045 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

251 251 275 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.151 3.529 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

383 382 484 0 0 0 0 0 0

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.278 6.874 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

598 598 902 0 0 0 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.042 7.167 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

549 549 2650 0 0 0 0 0 0

N.S.

1 1.00 4.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 12.403 9.792 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

407 407 1135 0 0 0 0 0 0

N.S.

1 1.00 2.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 9.996 7.165 180.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

373 373 609 0 0 0 0 0 0

N.S.

1 1.00 1.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.245 7.111 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

379 379 403 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.061 5.999 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F(-1) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

651 650 903 0 0 0 0 0 0

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.045 7.207 180.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

376 376 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.030 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

560 551 1390 0 0 0 0 0 0

N.S.

1 0.98 2.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.449 6.544 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

363 360 505 0 0 0 0 0 0

N.S.

1 0.99 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.194 6.374 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

247 247 202 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.594 3.274 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 178 135 0 0 0 0 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.220 0.285 0.000 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

258 258 204 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.604 1.272 0.000 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

403 402 563 0 0 0 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.316 6.245 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

702 702 2238 0 0 0 0 0 0

N.S.

1 1.00 3.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.236 6.325 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]